Static analysis of Ravenscar programs
نویسندگان
چکیده
منابع مشابه
Static Analysis of Android Programs
• Our goal is to extend the Julia static analyzer, based on abstract interpretation, to perform formally correct analyses of Android programs. This article is an in depth description of such an extension,of the difficulties that we faced and of the results that we obtained. • We have extended the class analysis of the Julia analyzer, which lies at the heart of many other analyses, by considerin...
متن کاملStatic analysis of functional programs
In this paper, the static analysis of programs in the functional programming language Miranda* is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of caligraphs. Standard software metrics are applicable to these models. A Miranda front end for Prometrixt, a tool for the automated analysis of flowgraphs and cal...
متن کاملStatic Analysis of XSLT Programs
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible Stylesheet Language Transformations) is the principal programming language that supports this activity. Methods for analysis of XSLT programs are currently an important open issue. In this paper, we discuss new methods...
متن کاملStatic Analysis of Lockless Microcontroller C Programs
Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted data. However, there are programs operating correctly without locking by exploiting the atomicity of certain operations on a specific hardware. In this paper, we describe how to precisely analyze lockless microcontroller C programs with interrupts by taking the hardw...
متن کاملStatic Analysis of Programs with Hoare Logic
Software bugs may effectively cost up to $312 billion per year[4]. So, why is the status quo so bad? Even a beginner computer science student will have heard repeatedly that successful test cases will never demonstrate correctness. On the other hand, Hoare logic (also Floyd-Hoare logic) provides a formal logical means of reasoning about the correctness of programs, which has been around since 1...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGAda Ada Letters
سال: 2003
ISSN: 1094-3641
DOI: 10.1145/959221.959234